Formal Ensemble Engineering
نویسندگان
چکیده
The ‘ensembles’ identified by the InterLink working group on Software Intensive Systems comprise vast numbers of components adapting and interacting in complex and even unforseen ways. If the analysis of ensembles is difficult, their synthesis, or engineering, is downright intimidating. We show, following a recent three-level approach to agent-oriented software engineering, that it is possible to specialise that intimidating task to three levels of abstraction (the ‘micro’, ‘macro’ and ‘meso’ levels), each potentially manageable by interesting extensions of standard formal software engineering. The result provides challenges for formal software engineering but opportunites for ensemble engineering.
منابع مشابه
Formal ensemble engineering: Position paper
The ‘ensembles’ identified by the InterLink working group on Software Intensive Systems comprise vast numbers of components adapting and interacting in complex and even unforeseen ways. If the analysis of ensembles is difficult, their synthesis, or engineering, is downright intimidating. We show, following a recent three-level approach to agent-oriented software engineering, that it is possible...
متن کاملMethods and Techniques for the Development of Parallel and Distributed Applications
In this PhD thesis we present a methodology for the objective error detection for message passing applications composed by the Ensemble composition architecture. The methodology may be considered as a Parallel and Distributed Software Engineering process. It involves software development management, and links design, implementation and testing in an integrated development process. We propose th...
متن کاملEnsemble of M5 Model Tree Based Modelling of Sodium Adsorption Ratio
This work reports the results of four ensemble approaches with the M5 model tree as the base regression model to anticipate Sodium Adsorption Ratio (SAR). Ensemble methods that combine the output of multiple regression models have been found to be more accurate than any of the individual models making up the ensemble. In this study additive boosting, bagging, rotation forest and random subspace...
متن کاملA new ensemble clustering method based on fuzzy cmeans clustering while maintaining diversity in ensemble
An ensemble clustering has been considered as one of the research approaches in data mining, pattern recognition, machine learning and artificial intelligence over the last decade. In clustering, the combination first produces several bases clustering, and then, for their aggregation, a function is used to create a final cluster that is as similar as possible to all the cluster bundles. The inp...
متن کاملSimulation of Boiling in a Vertical Channel Using Ensemble Average Model
Simulation of turbulence boiling, generation of vapour and predication of its behaviour are still subject to debate in the two-phase flow area and they receive a high level of worldwide attention. In this study, a new arrangement of the three dimensional governing equations for turbulence two-phase flow with heat and mass transfer are derived by using ensemble averaging two-fluid model and ...
متن کامل